/* Style Sheet */
/* This defines styles and classes used in the book */

div.enoteHTML {}
h2,h3,h4,h5 {margin: 0 0 0 0;}
h2,h3,h4,h5 {padding: 0 0 0 0;}

	/* Typical paragraph types */
div.enoteHTML h2 {font-size: 18pt; padding-bottom:1em;}	/* \chapter{} */
div.enoteHTML h3 {font-size: 14pt; padding-bottom:1em;}	/* \section{} */
div.enoteHTML h4 {font-size: 12pt; padding-bottom:1em;}	/* \subsection{} */
div.enoteHTML p, div.enoteHTML .text {font-size: 10pt; line-height: 1.8em;}

	/* All math images aligned with text vertically: */
div.enoteHTML img.math { vertical-align: middle }

	/* General LaTex classes: */
div.enoteHTML .bold       { font-weight: bold; }
div.enoteHTML .italic     { font-style: italic; }

	/* Equation environment: */
div.enoteHTML table.equation {width:100%;}
div.enoteHTML table.equation td {text-align: center;}
div.enoteHTML .refnum {color: black;}


	/* Box environments: */
div.enoteHTML div.boxenv h3 {font-size: 12pt; padding-bottom:10px;}

div.enoteHTML div.boxenv-example {border-left:7px #66cc00 solid;padding:7px; margin-top: 10px;}
div.enoteHTML div.boxenv-example h3 {color: #52A400; }

div.enoteHTML div.boxenv-exercise {border-left:7px #FF9900 solid;padding:7px; margin-top: 10px;}
div.enoteHTML div.boxenv-exercise h3 {color: #DD7A00;}

div.enoteHTML div.boxenv-bevis {border-left:7px #6D6D6D solid;padding:7px; margin-top: 10px;}

div.enoteHTML div.boxenv-definition, 
	div.enoteHTML div.boxenv-theorem,
	div.enoteHTML div.boxenv-lemma,
	div.enoteHTML div.boxenv-corollary {border:2px #3366CC solid;padding:7px; margin-top: 10px;background-color: #F7F7FC;}
div.enoteHTML div.boxenv-definition h3, 
	div.enoteHTML div.boxenv-theorem h3,
	div.enoteHTML div.boxenv-lemma h3,
	div.enoteHTML div.boxenv-corollary h3 {color: #2652AA;}

div.enoteHTML div.boxenv-method, 
	div.enoteHTML div.boxenv-explain,
	div.enoteHTML div.boxenv-remark {border:2px black solid;padding:7px; margin-top: 10px;background-color: #F7F7F7;}

div.enoteHTML div.boxenv-summary {background-color: #FFFFC9;}

	/* Notice environments: */
div.enoteHTML TABLE.noticeenv {padding:7px; margin-top: 10px;}
div.enoteHTML TABLE.noticeenv td.iconcell {border-right: 1px solid black; padding-right: 10px;}
div.enoteHTML TABLE.noticeenv td.contentcell {padding-left: 10px;}
div.enoteHTML TABLE.noticeenv-OBS {padding:7px; margin-top: 10px;}
div.enoteHTML TABLE.noticeenv img.noticeicon {margin-top:10px;}


	/* Special environments: */
div.enoteHTML div.basis P {font-style: italic; }
div.enoteHTML div.qrcode {border: 5px solid black;}